141. Logic
پدیدآورنده : \ Jc Beall and Shay Allen Logan
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,منطق
رده :
BC108
.
B347
L6
2017
142. Logic And Representation
پدیدآورنده : \ Robert C, Moore
کتابخانه: (طهران)
موضوع : منطق
رده :
P39
.
M66
143. Logic And Transcendence, Logique et transcendance. English
پدیدآورنده : \ By Frithjof Schuon;,Logique et transcendance
کتابخانه: (طهران)
موضوع : منطق متعالی, Transcendental logic
رده :
BC122
.
S38
144. Logic-Based Program Synthesis and Transformation
پدیدآورنده : \ Moreno Falaschi (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming -- Congresses.,Computer logic -- Congresses,Computer software -- Development -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها ,منطق کامپیوتری -- کنگره ها ,نرم‌افزار -- تولید -- کنگره ها
رده :
QA
76
.
63
.
L6
2015
E-Book
,
145. Logic-Based Program Synthesis and Transformation
پدیدآورنده : \ [edited by] Maurizio Proietti, Hirohisa Seki.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming -- Congresses.,Computer logic -- Congresses.,Computer software -- Development -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها,منطق کامپیوتری -- کنگره ها ,نرم‌افزار -- تولید -- کنگره ها
رده :
QA
76
.
6
.
L6
2015
E-Book
,
146. Logic Functions and Equations
پدیدآورنده : \ Bernd Steinbach , Christian Posthoff
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic.,Computer science -- Mathematics. ,Combinatory logic.,منطق کامپیوتری ,علوم کامپیوتر -- ریاضیات
رده :
E-Book
,
147. Logic In Classical Islamic Culture
پدیدآورنده : /Edited By G. E. Von Grunebaum
کتابخانه: (طهران)
موضوع : Islamic civilization -- Congresses, Logic -- Islamic Empire -- History -- Congresses.,منطق -- کشورهای اسلامی -- تاریخ
رده :
BC66
.
L6
148. Logic, Mathematics, and Computer Science.
پدیدآورنده : \ Yves Nievergelt
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
رده :
QA
37
.
N5L6
2015
E-Book
,
149. Logic, Methodology, And Philosophy Of Science, VII.: Proceedings Of The Seventh International Congress Of Logic, Methodology , And Philosophy Of Science, Salzburg, 1983
پدیدآورنده : / Edited By Ruth Barcan Marcus, Georg J. W. Dorn, Paul Weingartner
کتابخانه: (طهران)
موضوع : Science -- Philosophy -- Congresses.,Science -- Methodology -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,علوم -- فلسفه -- کنگره ها,علوم -- روش‌شناسی -- کنگره ها,منطق ریاضی-- کنگره‌ها
رده :
Q
174
.
I5P4
150. Logic, Rationality, and Interaction
پدیدآورنده : \ Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Information theory -- Congresses. ,منطق ریاضی -- کنگره‌ها
رده :
Q360
.
L67
2015
E-Book
,
151. Logic, Rewriting, and Concurrency
پدیدآورنده : \ Narciso Martí-Oliet , Peter Csaba Ölveczky, Carolyn Talcott (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer logic,کامپیوتر,منطق کامپیوتری,a03,a05,a03,a05,Computer software -- Development.,نرم‌افزار -- تولید
رده :
QA
76
.
L6
2015
E-Book
,
152. Logic and Its Applications
پدیدآورنده : \ Mohua Banerjee, Shankara Narayanan Krishna (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگره‌ها
رده :
QA
9
.
L6
2015
E-Book
,
153. Logic and Knowledge
پدیدآورنده : \ Bertrand Russell; edited by Robert Charles Marsh,راس‍ل
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Philosophy,Logic, symbolic and mathematical,فلسفه,منطق ریاضی,a03,a05,a03,a05
رده :
B1649
.
R93
L6
1968
154. Logic and Philosophy of Mathematics in the Early Husserl
پدیدآورنده : \ by Stefania Centrone.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
C4L6
2010
E-Book
,
155. Logic and Representation
پدیدآورنده : \ Robert C. Moore
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Language and logic,Semantics (Philosophy),زبان و منطق,معنی‌شناسی (فلسفه),a03,a04,a03,a04
رده :
E-Book
,
156. Logic and knowledge : essays, 1901-1950
پدیدآورنده : / Bertrand Russell,راس‍ل,Russell
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : فلسفه,منطق ریاضی
رده :
B
۱۶۴۹
/
ر
۲
ل
۲ ۱۳۳۵
157. Logic and language (second series)
پدیدآورنده : / essays by Gilbert Ryle ... [et al.]
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق,زبان
رده :
BC
۶
/
ف
۸
ل
۲ ۱۳۴۶
158. Logic and language (second series) : essays
پدیدآورنده : / by J.L. Austin ... [et al.]
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق,زبان
رده :
BC
۶
/
ف
۸
ل
۲ ۱۳۵۲
159. Logic and philosophy
پدیدآورنده : \ Alan Hausman, Howard Kahane, Paul Tidman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Predicate (Logic),حمل (منطق),a05,a05,Logic.,Philosophy.,منطق,فلسفه
رده :
BC
108
.
H32L6
2010
E-Book
,
160. Logic and philosophy:a modern introduction
پدیدآورنده : /Alan Hausman,Howard Kahane,Paul Tidman.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق,فلسفه,حمل (منطق)
رده :
BC
۱۱۷
/
ھ
۲
ل
۹ ۱۳۸۶
